first-order predicate中文是什么意思
发音:
用"first-order predicate"造句"first-order predicate"怎么读"first-order predicate" in a sentence
中文翻译手机版
- 一阶谓词
- "first"中文翻译 adj. 1.最初的,最早的。 2.最上等的,第一流的。 ...
- "order"中文翻译 n. 1.次序,顺序;整齐;(社会)秩序,治安;状况,常 ...
- "predicate"中文翻译 n. 1.【语法】谓语,述语。 2.【逻辑学】谓项,述项 ...
- "first order predicate calculus" 中文翻译 : 一阶谓词演算
- "first order predicate logic" 中文翻译 : 一阶谓词逻辑
- "first-order predicate calculus" 中文翻译 : 一阶谓词演算
- "first-order predicate logic" 中文翻译 : 一阶谓词逻辑
- "predicate of first order" 中文翻译 : 一阶谓词
- "pure predicate calculus of first order" 中文翻译 : 一阶纯谓词演算
- "high-order predicate calculus" 中文翻译 : 高阶谓词演算
- "higher order predicate" 中文翻译 : 高阶谓词
- "higher order predicate calculus" 中文翻译 : 高阶谓词演算
- "higher-order predicate" 中文翻译 : 高价谓词
- "higher-order predicate calculus" 中文翻译 : 高阶谓词演算
- "predicate calculus of the third order" 中文翻译 : 三阶谓词演算
- "second order predicate" 中文翻译 : 二阶述词
- "second-order predicate calculus" 中文翻译 : 二阶谓词演算
- "third order predicate logic" 中文翻译 : 三阶谓词逻辑
- "first order" 中文翻译 : 初指令, 一阶; 第一级次; 一阶;一级
- "first-order" 中文翻译 : 一阶
- "of the first order" 中文翻译 : 最高级的, 头等的
- "small order first-in-first-out" 中文翻译 : 细额先到先得
- "first order; first step; first stage" 中文翻译 : 第一级
- "predicate" 中文翻译 : n. 1.【语法】谓语,述语。 2.【逻辑学】谓项,述项,述词,宾词。 3.本质;属性。 adj. 谓语的,述语的;谓项的,述项的。 vt. 1.论断,断言;断定…为某物的属性;断定某物有…的属性 (about; of)。 2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。 3.宣言,宣布,声明。 4.意味着,具有…的含义。 5.【语法】表述。 vi. 断言 (of)。 Can anything be predicated about a non-existent thing 能够表述不存在的东西吗? (We) predicate of the motive that it is good. (我们)断言这个动机是好的。
- "predicate of" 中文翻译 : n变元谓词; 变项谓词
例句与用法
- Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式 - This is not expressible as a first - order predicate calculus property
这就是一个一阶谓词演算不可表述的属性。 - Also , first - order predicate calculus isn ' t good enough anyway
同时,从各方面来说,一阶谓词演算都不是足够好。 - This kind of assertion seems to require special language extensions and has led people to suggest introducing first - order predicate calculus
这种情况下的断言似乎就需要实现特定的语言扩展,于是一些人建议引入一阶谓词演算。 - Informally , xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first - order predicate calculus
Xquery被非正式地设计为可以构造xml文档,而这些xml文档是通过对输入的xml文档进行一阶谓词演算得出的。 - So anything that you may want to express on a complex object that would seem to require first - order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以对于一个复杂对象,任何看起来需要一阶谓词演算才能描述的东西,实际都可以在编程语言范畴内实现十分精细地表述。 - This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一阶谓词演算和前后断言方法,并且自定义了一个重构可靠性证明的逻辑推理系统:重构可靠性推演系统。 - This has led some people who design the specification mechanisms for programming languages , or in the case of uml , for modeling languages , to include facilities from first - order predicate calculus as a language extension
这就促使一些人在编程语言的描述机制和建模语言(如统一建模语言, uml )的处理机制中加进了部分一阶谓词演算的东西,作为一种功能扩展。 - The second occasion where boolean expressions may seem restrictive is one that scares most people who have looked at the issue from a theoretical perspective : the language of boolean expressions is relatively limited and doesn ' t have first - order predicate calculus
很多人从理论角度考察时,又惊惧地发现布尔表达式形似柔弱的第二种情况:使用布尔表达式的语言有局限性,因为不具备一阶谓词演算特性。
百科解释
A first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s). Compare second-order predicate and higher-order predicate.
详细百科解释
相关词汇
predicated 中文, predicate 中文, predicates 中文, predicate noun 中文, diophantine predicate 中文, analytic predicate 中文, actional predicate 中文, predicate calculu 中文, compound predicate 中文, first-order phase transition 中文, first-order phase-locked loop 中文, first-order pinacoid 中文, first-order plane 中文, first-order plotter 中文, first-order predicate calculus 中文, first-order predicate logic 中文, first-order rate process 中文, first-order recursive program 中文,
相邻词汇
first-order predicate的中文翻译,first-order predicate是什么意思,怎么用汉语翻译first-order predicate,first-order predicate的中文意思,first-order predicate的中文,first-order predicate in Chinese,first-order predicate的中文,first-order predicate怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。